4-vector notation